Barriers to systematic model transformation testing
نویسندگان
چکیده
منابع مشابه
Barriers to HIV testing in Europe: a systematic review.
BACKGROUND In the European Union (EU) and neighbouring countries, HIV/AIDS, of all infectious diseases, has one of the highest morbidity and mortality rates. An estimated 30% of people living with HIV are unaware of their infection, and may therefore not benefit from timely treatment or may transmit HIV to others, unknowingly. Evidence shows that opportunities are being missed to diagnose HIV i...
متن کاملTractable Model Transformation Testing
Model transformation (MT) testing is gaining interest as the size and complexity of MTs grows. In general it is very difficult and expensive (time and computational complexity-wise) to validate in full the correctness of a MT. This paper presents a MT testing approach based on the concept of Tract, which is a generalization of the concept of Model Transformation Contract. A Tract defines a set ...
متن کاملTesting Model Transformation Programs using Metamorphic Testing
Model transformations are crucial for the success of Model Driven Engineering. Testing is a prevailing technique of verifying the correctness of model transformation programs. A major challenge in model transformation testing is the oracle problem, which refers to the difficulty or high cost in determining the correctness of the output models. Metamorphic Testing alleviates the oracle problem b...
متن کاملApplication of Model Comparison Techniques to Model Transformation Testing
In this paper, we discuss model-to-model comparison techniques that can be used to assist with model-tomodel transformation testing. Using an existing real-world model transformation, we illustrate and qualitatively evaluate the comparison techniques, highlighting the associated strengths and weaknesses of each in the context of transformation testing.
متن کاملAspect Oriented UML to ECORE Model Transformation
With the emerging concept of model transformation, information can be extracted from one or more source models to produce the target models. The conversion of these models can be done automatically with specific transformation languages. This conversion requires mapping between both models with the help of dynamic hash tables. Hash tables store reference links between the elements of the source...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications of the ACM
سال: 2010
ISSN: 0001-0782,1557-7317
DOI: 10.1145/1743546.1743583